Homologia (matematika)

Matematikan (batez ere topologia aljebraikoan eta aljebra homologikoan), homologia emandako objektu matematiko bat (adibidez, espazio topologiko bat edo talde bat) talde abeldarren segida batekin (edo testuinguru orokorragoetan, moduluak edo abeldar kategoria baten gaineko edozein elementu) lotzeko prozedura orokorra da, hau da, ekintza funtoriala.

Topologia-espazio batean, homologia-taldeak askoz errazago zenbatzen dira homotopia-taldeak baino, eta, ondorioz, homologiarekin lan sinpleagoa egin ohi da, espazioak sailkatzen laguntzeko.

Teoria horren arrazoietako bat da batzuetan espazio topologikoen bikoteak bereiz ditzakegula, haien zuloak aztertuz. Adibidez:

• Zirkulua ez da disko baten baliokidea, zirkuluak zulo bat baitu haren erdian.
• Esfera bat ez da zirkulu baten baliokidea, esferak 2-dimentsioko zulo bat baitu, eta zirkuluak, berriz, 1-dimentsioko zulo bat.

Oro har, ez da berehalakoa ez zulo bat zer den definitzea, ez eta zulo mota desberdinak bereiztea ere. Horregatik, homologiaren jatorrizko motibazioa topologia-espazio bateko zuloak definitu eta sailkatzea izan zen, barietate batean, adibidez.

Homologia-taldeen definizioa honako kontzeptu hauetan oinarritzen da: zikloak - azpimota itxiak - mugak, zikloak eta aldi berean azpi-muga direnak -, eta homologia-klaseak - moduluak bateratzean, mugak lortzen ditugun baliokidetza-motak -. Orduan, homologia-mota bakoitza ziklo batek irudikatzen du, eta ziklo hori ez da inolako azpimultzoren muga, eta ziklo horren muga izango litzatekeen barietate baten falta adierazten du. Halaber, sorgailu bakoitzak zulo bat dagoela adierazten du, eta taldearen propietateek espazio topologikoaren egitura adierazten dute, bai eta dimentsioaren eta orientagarritasunaren nozioek ere.